% knowledge
protoknow(pr,cl,cmr(idc9,[su],[])).
protoknow(pr,cl,cmr(nc_10,dot,bot)).
protoknow(pr,cl,pri(enc,[pri(lst,[cmr(idc9,[su],[]),cmr(nc_10,dot,bot)]),cmr(ks8,[cl,srv],[])])).
protoknow(pr,ext,pri(enc,[pri(lst,[cmr(idc9,[su],[]),cmr(nc_10,dot,bot)]),cmr(ks8,[cl,srv],[])])).
protoknow(pr,cl,pri(enc,[pri(lst,[cm(ages15,[su],dot),cmr(nc_10,dot,bot),cmr(ns_16,dot,bot)]),cmr(ks8,[cl,srv],[])])).
protoknow(pr,srv,pri(enc,[pri(lst,[cmr(idc9,[su],[]),cmr(nc_10,dot,bot)]),cmr(ks8,[cl,srv],[])])).
protoknow(pr,srv,cm(ages15,[su],dot)).
protoknow(pr,srv,cmr(ns_16,dot,bot)).
protoknow(pr,srv,pri(enc,[pri(lst,[cm(ages15,[su],dot),cmr(nc_10,dot,bot),cmr(ns_16,dot,bot)]),cmr(ks8,[cl,srv],[])])).
protoknow(pr,ext,pri(enc,[pri(lst,[cm(ages15,[su],dot),cmr(nc_10,dot,bot),cmr(ns_16,dot,bot)]),cmr(ks8,[cl,srv],[])])).
